EVOLVE

Evolutionary Verification, Validation and Certification

Search: ^l

Research/EVOLVE Web Changed Changed by
LocalTasks 26 Oct 2011 - 13:50 - r3 AlcinoCunha
Definição de métodos formais para especificações e arquitectura Esta tarefa propõe a introdução de métodos formais na definição e modelação de requisitos e arquitectura ...
LocalTeam 26 Oct 2011 - 13:56 - r3 AlcinoCunha
Local Team Alcino Cunha Nuno Oliveira Soares Barbosa Collaborators Sousa Pinto João Frade Melo de Sousa Students Ana Garis ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM